Science of Logic - PDFSEARCH.IO - Document Search Engine

Science of Logic
Results: 5317

#	Item
151	PLIS: a Probabilistic Lexical Inference System Eyal Shnarch1 , Erel Segal-haLevi1 , Jacob Goldberger2 , Ido Dagan1 1 Computer Science Department, Bar-Ilan University, Israel 2 Faculty of Engineering, Bar-Ilan University, Add to Reading List Source URL: u.cs.biu.ac.il Language: English - Date: 2013-09-16 08:01:32 Logic Linguistics Computational linguistics Natural language processing Semantics Lexical semantics Philosophy Reasoning Inference Word-sense disambiguation WordNet SemEval
152	Type Theory and Constructive Mathematics Type Theory and Constructive Mathematics Thierry Coquand University of Gothenburg Add to Reading List Source URL: events.cs.bham.ac.uk Language: English - Date: 2012-04-24 12:00:17 Proof theory Dependently typed programming Logic in computer science Type theory Riemann surfaces Mathematics Philosophy of mathematics CurryHoward correspondence Logic Orbifold
153	CS61c: Representations of Combinational Logic Circuits J. Wawrzynek October 12, 2007 1 Add to Reading List Source URL: www-inst.eecs.berkeley.edu Language: English - Date: 2007-10-14 23:24:26 Logic gates Mathematics Mathematical logic Algebra Boolean algebra Logic in computer science Algebraic logic Circuit complexity Canonical normal form Combinational logic XOR gate Digital electronics
154	Revisiting: Algebraic laws for nondeterminism and concurrency Matthew Hennessy Milner-Symposium, Edinburgh Add to Reading List Source URL: events.inf.ed.ac.uk Language: English - Date: 2012-10-10 03:52:01 Theoretical computer science Logic in computer science Formal methods Programming language semantics Models of computation Denotational semantics Process calculi Matthew Hennessy Semantics Maurice Nivat Bisimulation Negation
155	Broad-coverage CCG Semantic Parsing with AMR Kenton Lee Luke Zettlemoyer Yoav Artzi∗ Dept. of Computer Science and Cornell Tech Computer Science & Engineering University of Washington Cornell University Add to Reading List Source URL: www.emnlp2015.org Language: English - Date: 2015-12-05 04:22:39 Logic Mathematical logic Mathematics Predicate logic Type theory Logic in computer science Combinatory categorial grammar Combinatory logic Quantifier Lambda calculus Parsing Free variables and bound variables
156	Towards Definition and Composition of Uncertain RESTful Resources Pierre De Vettor1 , Micha¨el Mrissa1 , and Djamal Benslimane1 Universit´e de Lyon, CNRS LIRIS, UMR5205, F-69622, France Lyon, France Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2016-07-08 19:51:58 Computing Information science Data Fuzzy logic Machine learning Semantic Web Knowledge engineering Uncertain data Probability Expected value Probabilistic database Uncertainty principle
157	Automatic selection of table areas in documents for information extraction Ana Costa e Silva1, Alípio Jorge2, Luís Torgo2 1 2 Add to Reading List Source URL: www.dcc.fc.up.pt Language: English - Date: 2012-12-13 10:18:40 Computing Data management Arrays Computer programming Algorithm Mathematical logic Theoretical computer science Join Lookup table HTML element Periodic table Hash table
158	Noname manuscript No. (will be inserted by the editor) Relational Analysis of (Co)inductive Predicates, (Co)algebraic Datatypes, and (Co)recursive Functions Jasmin Christian Blanchette Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2015-01-25 16:18:54 Mathematical logic Logic Model theory Mathematics Computability theory Models of computation Formal languages Lambda calculus Theoretical computer science First-order logic Structure Interpretation
159	Social Group Modeling with Probabilistic Soft Logic Bert Huang, Stephen H. Bach, Eric Norris, Jay Pujara, Lise Getoor Department of Computer Science University of Maryland College Park, MD 20742 Add to Reading List Source URL: psl.umiacs.umd.edu Language: English - Date: 2013-06-14 19:26:51 Computing Logic Philosophy Web 2.0 Twitter Social media Computer jargon Knowledge representation Probabilistic soft logic Hashtag Twitter usage First-order logic
160	WCCI July 6-‐11, 2014, Beijing, China Fuzzy Image Processing: A Tutorial Professor Hamid R. Tizhoosh University of Waterloo, Canada Add to Reading List Source URL: www.conference123.org Language: English - Date: 2014-07-16 23:21:59 Fuzzy logic Logic Artificial intelligence Mathematical logic Academia Logic in computer science Image segmentation Type-2 fuzzy sets and systems Fuzzy set

UPDATE